SSA::Function is a type now.
All types are monotypes by default.
Improve Function#dup.
Allow subtypes in instructions with typed operands.