allow typespec with specified module
workaround for slow input in console
fix typespec tests