WORK IN PROGRESS in Typecheck.hs

  - Added environment initializers.