ir: Unary.type is optional.
semantic: First pass at unification of overload/extyper type verification.
semantic: Don't test null types.
volt: Implement interfaces.