Support types Proof of concept

Categories