implement showtype in typecheck.py