Use (a -> b) consistently for function args
Implement function importing, clean up operand imports