Merged sigs and anns into specs in Nano.
Fixed spec - annot env:

  - In both TC and Liquid if there is a type annotation, it should be preserved
    throughout the code.
  - In TC keep the base type of the first assignment, by removing the SSA index
    when doing lookup.

  - Cleanup