type annoted expressions