PSR proposal for types