Function annotations for Hylang!