expand type aliases in the environment when checking subtyping
add basic support for if expressions