Tiger — typecheck (mutually) recursive function definitions
Tiger — alias List to L