fix(main): thread imported type schemes into check_program (#135) (#174)

fix(main): thread imported type schemes into check_program (#135) (#174) #356