more stubs and specs
fixes infer-prefixes and tests