wip: add mini concept for types