common helper function "head" type signature is incomplete

[loulecrivain]

# FIXME: should be head[T](l: list[T]) -> Optional[T]
def head(l):
    return None if not l else l[0]

[loulecrivain]

this has repercussions regarding type checking, where some safety checks are missing in calling code