Properly typed subroutines! + a bunch of other things