infer: Start hacking up unification.
bytecode, infer: Fill out types for builtin operations.
infer: Add concrete types from literals to the mix.