Prepare for Hindley/Milner type checker implementation - Phase 1