current bug: interpretation of types