jacobson_karels: New module