Improved type system

tests/programs/param-order.q

@@ -2,11 +2,11 @@ main() {
 	f1(1, 2, 3, 4, 5, 6)
 }
 
-f1(a Int, b Int, c Int, d Int, e Int, f Int) {
+f1(a int, b int, c int, d int, e int, f int) {
 	f2(f, e, d, c, b, a)
 }
 
-f2(a Int, b Int, c Int, d Int, e Int, f Int) {
+f2(a int, b int, c int, d int, e int, f int) {
 	assert a == 6
 	assert b == 5
 	assert c == 4