rename several functions
add AstPretty instances for Type, Context, Asst