Refactor annotations, add return_annotation and args_annotation to signature
Added __annotations__ property to curry and morphism
Implements "domain", "codomain", "args_infos", "return_infos", "composable_with" in MorphismStack