Typecheck and interpret 'apply'.
Unsafe vector operations.
Fix vector type 'Show' instance.
Kill dead code.
Fix whitespace.
Typecheck and interpret 'fun'.
Typecheck and interpret 'compose'.
Fix style.
Factor repetition.