Support for type

@bifodus this should be a failure.