FLET typechecking