Towards type annotation and role-based permissions (unfinished) [ci skip]