New defproptype macro, new implementation of types