Reject certain literals as identifiers to eliminate ambiguity.
Remove the no longer required import handling code for the base module
Adds check for declared arrow name. Fix type checking and propagation for list tail pattern.