wip. typing
wip. base types, missing generics
explicit callback argument for async functions

needed for assigning types
wip. flat type checking