Give more reasonable names to incoming and outgoing ports
make conversion functions for input ports optional
Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew
Make the fix from #435