misc simple typing