AlwaysSpecifyTypes constructor

AlwaysSpecifyTypes()