Working on typing references
Working on type inferencing of functions based on arguments
Types constrained by sets using "possibilities", basic type inference
Wildcard imports, persisting translator state between lines in runner
Adding more metainfo to printer
Translating 'from' imports
Single-arg, typed function translation