Allow more explicit parameter types

[fredokun]

The initial implicit parameter handling only support parameters of type :type.
It would be useful to extend to other types as well.