implement enough type analysis for vector example

+ Big commit, scary
+ Some details still a bit up in the air, mainly about move checking
  structure member access ('register' types are freely copied I guess,
  same as in rust? How about user types?)

1 files changed, 2 insertions, 2 deletions

diff --git a/examples/fib.fwd b/examples/fib.fwd
index e6d6ee6..4583a26 100644
--- a/examples/fib.fwd
+++ b/examples/fib.fwd
@@ -25,6 +25,6 @@ fib(i64 n, (i64) res)
 main()
 {
 	fib(42) => i64 n;
-	print_i64(n);
-	print_nl();
+	fwdprint_i64(n);
+	fwdprint_nl();
 }