Just decided not to support defs in Kalypso (or Cephelapod, but it's already kinda implemented there) and ported some more tests over

tests/test_moreComplexObjectTest.krak

@@ -11,9 +11,7 @@ obj firstObject {
 	}
 };
 
-def Int int;
-
-var aliasNum: Int;
+var aliasNum: int;
 
 fun main(): int {
 	var wooObject: firstObject;

tests/test_moreObjectTemplateTest.krak

@@ -1,4 +1,4 @@
-import io:*;
+import simple_print:*;
 import trivial_container:*;
 
 obj RegularObject {
@@ -17,8 +17,7 @@ obj RegularObject {
 	}
 };
 
-def MyIntContainer trivialContainer<int>;
-var roundabout: MyIntContainer;
+var roundabout: trivialContainer<int>;
 var outsideDec: RegularObject;
 
 fun print(toPrint: trivialContainer<*char>): void {

tests/test_templateTest.krak

@@ -17,9 +17,8 @@ obj TemplateTest<T> {
 	}
 };
 
-def MyInt int;
 
-var c: MyInt;
+var c: int;
 
 
 fun addAndPrint<T>(a: T, b: T): T {

tests/trivial_container.krak

@@ -0,0 +1,9 @@
+import simple_print;
+
+obj trivialContainer<T> {
+	var data: T;
+	fun print(): void {
+        simple_print::print(data);
+	}
+};
+