typecheck: improve subtyping
typecheck: add rules for mutability
typecheck: add todo for mutability