More work on builtins and type constraits, faster method invocations